『Formal Methods and the WebAssembly Specification』
https://www.cl.cam.ac.uk/~caw77/slides/srepls.pdf
Isabelle/HOL
で約11000行ぐらいで形式的な仕様が証明できた
『Bringing the web up to speed with WebAssembly』
#文献
#WebAssembly
#形式手法